An approach to design smart grids and their IT system by cosimulation

International audienceSmart grids are the oncoming generation of power grids, which rely on information and communication technologies to tackle decentralized and intermittent energy sources such as wind farms and photovoltaic plants. They integrate electronics, software information processing and telecommunications technical domains. Therefore the design of smart grids is complex because of the various technical domains and modeling tools at stake. In this article, we present an approach to their design, which relies on model driven engineering, executable models and FMI based cosimulation. This approach is illustrated on the use case of an insular power grid and allows to study the impact of power production decision

The smart grid simulation framework: model-driven engineering applied to cyber-physical systems

International audienceSmart grids are complex systems for which simulation offers a practical way to evaluate and compare multiple solutions before deployment. However, the simulation of a Smart Grid requires the development of heterogeneous models corresponding to electrical, information processing, and telecommunication behaviors. These heterogeneous models must be linked and analyzed together in order to detect the influences on one another and identify emerging behaviors. We apply model-driven engineering to such cyber-physical systems combining physical and digital components and propose SGridSF, the Smart Grid Simulation Framework, which automates tasks in order to ensure consistency between different simulation models. This framework consists mainly of a domain specific language for modeling a cosimulation unit, called CosiML for Cosimulation Modeling Language, a domain specific language for modeling the functional architecture of a Smart Grid, called SGridML for Smart Grid Modeling Language, and a tool implementing different transformation rules to generate the files and scripts for executing a cosimulation. Finally, we illustrate the use of SGridSF on the real use case of an islanded grid implementing diesel and renewable sources, battery storage and intelligent control of the production. We show the sequencing of automatic generation tasks that minimizes the effort and the risk of error at each iteration of the process

Strategies Comparison of Test Generation from UML Using SMT Solver

International audienceA principal challenge in Model-Based Testing is to generate tests within a reasonable time and without reducing the test coverage when the size and complexity of the model increases. In the last few years, SMT solvers have become able to solve complex first-order logic formulas with acceptable performance. To meet this requirement, we choose to use Satisfiability Modulo Theory (SMT) solvers. In this paper, we suggest three strategies to generate automatically tests from models written in UML4MBT, a subset of UML. These strategies are evaluated through several experimentations. In particular, we study the influence of the characteristics of the model and the use of multi-threading on the test generation time. All experiments are performed on models representing real life systems

Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation

National audienceLes réseaux électriques intelligents, dits Smart Grids, sont la prochaine génération de réseaux de distribution d'électricité, qui s'appuient sur les technologies de l'information pour soutenir l'intégration des sources de production d'énergie décentralisées et intermittentes telles que les parcs éoliens et les centrales photovoltaı̈ques. Ils dépendent de plusieurs domaines comme ceux de la physique et du génie électrique, du logiciel et des réseaux de télécommunications. La conception de réseaux électriques intelligents est donc complexe en raison des différents domaines techniques et outils de modélisation en jeu. Dans cet article, nous présentons une approche de conception s'appuyant sur l'ingénierie dirigée par les modèles, les modèles exécutables et la cosimulation FMI. Cette approche est illustrée sur le cas d'utilisation de la conception d'un réseau électrique insulaire, et permet d'étudier l'effet des décisions de production d'électricit

A model based toolchain for the cosimulation of cyber-physical systems with FMI

International audienceSmart Grids are cyber-physical systems that interface power grids with information and communication technologies in order to monitor them, automate decision making and balance production and consumption. Cosimulation with the Functional Mock-up Interface standard allows the exploration of the behavior of such complex systems by coordinating simulation units that correspond to the grid part, the communication network and the information system. However, FMI has limitations when it comes to cyber-physical system simulation, particularly because discrete-event signals exchanged by cyber components are not well supported. In addition, industrial projects involve several teams with different skills and methods that work in parallel to produce all the models required by the simulation, which increases the risk of inconsistency between models. This article presents a way to exchange discrete-event signals between FMI artifacts, which complies with the current 2.0 version of the standard. We developed a DSL and a model-based toolchain to generate the artifacts that are necessary to run the cosimulation of the whole system, and to detect potential inconsistencies between models. The approach is illustrated by the use case of an islanded grid implementing diesel and renewable sources, battery storage and intelligent control of the production